Formal semantics - PDFSEARCH.IO - Document Search Engine

Formal semantics
Results: 502

#	Item
321	Jeffrey Stewart Dunn DePauw University Department of Philosophy 100 East Seminary St Greencastle, IN 46135 Add to Reading List Source URL: academic.depauw.edu Language: English - Date: 2014-10-03 14:41:56 Justification Epistemologists Semantics Formal epistemology Statistical inference Hilary Kornblith Internalism and externalism Analytic philosophy John L. Pollock Philosophy Epistemology Knowledge
322	˛4 ≥≈ ◊ƒ ™ ◊ƒ ™ ˇi ˇm ˇu Add to Reading List Source URL: ergonomie.cnam.fr Language: English - Date: 2011-10-17 06:25:04 Philosophy of language Grammar Natural language processing Syntax Universal grammar Natural language Constructed language Formal language Semantics Languages of Africa Linguistics Language
323	Notes on Deontic Logic Nino B. Cocchiarella Deontic logic is the formal study of the normative concepts of obligation, permission, and prohibition. These concepts and their logical relationships to one another are distin Add to Reading List Source URL: www.ontologyafrica.com Language: English - Date: 2013-04-30 14:53:14 Deontic logic Norm Mathematical logic Ernst Mally Semantics of Business Vocabulary and Business Rules Logic Modal logic Philosophy
324	Notes on Deontic Logic Nino B. Cocchiarella Deontic logic is the formal study of the normative concepts of obligation, permission, and prohibition. These concepts and their logical relationships to one another are distin Add to Reading List Source URL: www.ontologyasia.com Language: English - Date: 2013-05-01 04:11:33 Deontic logic Norm Mathematical logic Ernst Mally Semantics of Business Vocabulary and Business Rules Logic Modal logic Philosophy
325	Oslo Studies in Language[removed]Atle Grønn & Irena Marijanović (eds.) Add to Reading List Source URL: www.journals.uio.no Language: English - Date: 2011-02-17 06:52:28 Grammar Cognitive linguistics Applied linguistics Formal semantics Barbara Partee Syntax Contrastive linguistics Linguistics Science Semantics
326	Notes on Deontic Logic Nino B. Cocchiarella Deontic logic is the formal study of the normative concepts of obligation, permission, and prohibition. These concepts and their logical relationships to one another are distin Add to Reading List Source URL: www.ontologysa.com Language: English - Date: 2013-05-04 01:08:09 Deontic logic Norm Mathematical logic Ernst Mally Semantics of Business Vocabulary and Business Rules Logic Modal logic Philosophy
327	The Verification Grand Challenge and Abstract Interpretation Patrick Cousot École normale supérieure, 45 rue d’Ulm[removed]Paris cedex 05, France Patrick.Cousot@ ens.fr Add to Reading List Source URL: vstte.inf.ethz.ch Language: English - Date: 2005-10-02 15:59:16 Abstract interpretation Astrée Applied mathematics Computer science Formal verification Patrick Cousot Programming language Abstraction Semantics of programming languages Formal methods Theoretical computer science Logic in computer science
328	Grounding Knowledge and Action Selection in Agent-Based Systems Natasha Alechina Brian Logan School of Computer Science and IT University of Nottingham Nottingham NG8 1BB, UK Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2002-09-26 13:10:47 Formal languages Model theory Philosophical logic Modal logic Interpretation Epistemic modal logic Kripke semantics Function Action selection Logic Mathematical logic Mathematics
329	LNCS[removed]The Logic of NEAR and FAR Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2014-09-26 14:52:27 Mathematics Interpretation Philosophy of language Philosophy of mind Semantics Structure Metaphilosophy Orbifold Model theory Logic Formal languages
330	A LOGICAL CALCULUS OF MEANING AND SYNONYMY YIANNIS N. MOSCHOVAKIS In his development of formal semantics for natural language Montague [1970a]– Montague [1973],1 Richard Montague modeled the meaning (Frege’s sense) Add to Reading List Source URL: www.math.ucla.edu Language: English - Date: 2004-12-13 19:38:56 Computability theory Functions and mappings Predicate logic Logical syntax Lambda calculus Function Interpretation Free variables and bound variables Variable Mathematics Logic Elementary mathematics

UPDATE